退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:结构合理的常规模型检查中的计算定点及其在有损通道系统中的应用。
Baier, Christel; Bertrand, Nathalie; Schnoebelen, Philippe;
机译:结构良好的符号模型检查中的可计算固定点
机译:使用部分订单模型进行定点逻辑的模型检查游戏
机译:关于带切点的定点逻辑的复杂性的三点说明
机译:结构良好的常规模型检查中的计算定点及其在有损通道系统中的应用
机译:多播和多描述应用程序的有损联合源信道编码。
机译:膜通道中离子渗透的构象模型:与多离子模型的比较及其在钙通道渗透性中的应用。
机译:关于精细结构正则模型检验中计算定点的研究及其在有损通道系统中的应用
机译:如何优化具有由一个或多个通信信道,非临时计算机可读存储介质(包括计算机可读程序和系统)的多个不同存储器位置的计算系统的应用。
机译:应用模拟计算模型进行计算的方法汽车开发应用中组件的稳定性,涉及通过安全计算环境解密计算模型,并将模型应用于模型数据
机译:在共享和分布式计算环境中对软件应用程序的计算资源需求进行建模和分析的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。